退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:自动化软件功能验证
Gerard J. Holzmann; Margaret H. Smith;
机译:用于近距离放射治疗的自动剂量验证软件
机译:SMAP上行链路的模型验证和验证处理模型的基于模型的开发方法和用于航空航天系统软件的自动验证
机译:缩放自动验证:建立高完整性软件的案例研究和形式化IDE
机译:用于近距离放射治疗的自动化剂量验证软件
机译:我正在寻求对我的实时自动招标系统的软件,概念和过程申请专利。网站的用户使用自动招标系统在线发布和授予合同。该系统已通过定制软件进行了独特开发。其中包括每个行业的工作范围,定价计算,入围功能,定价计算器和合同授予。算法用于处理以上所有内容。发明该概念是为了将在线招标工作用于清洁,安全,消防和卫生方面的商业设施。
机译:通过验证输入数据的功能和所得软件类型之间的一致性,同时尊重输入数据所需的精度来测试软件的通用方法
机译:具有身份验证,次要赞助,摄影管理和图像编辑功能的社交网络软件应用程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。